$\vdash$  $\forall$$i$, $j$:$\mathbb{Z}$. ($i$ $<$z $j$ $\sim$ tt) $\Rightarrow$ ($i$ $<$ $j$)